LNCS713

LNCS713
-G. Gottlob/A. Leitsch/D. Mundici (Eds.): Computational Logic and Proof Theory, Springer-Verlag Proceedings 1993

Acronyms von A bis Z. 2013.

Игры ⚽ Нужна курсовая?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • LNCS713 — G. Gottlob/A. Leitsch/D. Mundici (Eds.): Computational Logic and Proof Theory, Springer Verlag Proceedings 1993 …   Acronyms

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”